formatting and phpdoc