Personally, I think it's OK, and maybe even good, if sometimes humans do things for aesthetic purposes instead of paperclip optimization.